def arr = replicate 10 true
entry main : [](bool, bool) = zip arr arr
